Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
🔤Morris-Pratt
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5h
💻Programming languages
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Cactus Language • Semantics 1
inquiryintoinquiry.com·17h
🔢Denotational Semantics
Show HN: Maudit, a Rust library to build static websites
maudit.org·17h·
Discuss: Hacker News
🦀Rust Macros
Embedding Lua in Nim
lambdacreate.com·21h
🦀Rust Macros
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·13h·
Discuss: DEV
⚡SMT Applications
Language Support for Marginalia Search
marginalia.nu·1d
🔍BitFunnel
TypeScript Flaws (2024)
intercaetera.com·8h·
Discuss: Hacker News
🎯Gradual Typing
DanielSant0s/AthenaEnv
github.com·2d
📺VT100 Emulation
A debug helper in Elisp
mbork.pl·14h
🌳Incremental Parsing
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
⬆️Lambda Lifting
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Visual Representations inside the Language Model
arxiv.org·5h
🧮Vector Embeddings
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·17h·
Discuss: Lobsters, Hacker News, r/javascript
🧩SQLite Extensions
Microformats – building blocks for data-rich web pages
microformats.org·2d·
Discuss: Hacker News
✅Format Verification
Lazy text capitalization with low latency large language models
blog.florianschulz.info·2d·
Discuss: Hacker News
🌀Brotli Internals
valuetier.org (and some thoughts on LLMs)
ericphanson.com·1d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·5h
💻Programming languages
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
🐚Shell Calculus